démontrer une proposition

См. также в других словарях:

• démontrer — [ demɔ̃tre ] v. tr. <conjug. : 1> • XVI e; demostrer « montrer » XII e; demonstrer Xe; lat. demonstrare « montrer, démontrer » 1 ♦ Établir la vérité de (qqch.) d une manière évidente et rigoureuse. ⇒ établir, prouver; démonstration.… …   Encyclopédie Universelle

• proposition — [ prɔpozisjɔ̃ ] n. f. • v. 1120 propositiun « action de faire connaître ses intentions »; lat. propositio 1 ♦ L action, le fait d offrir, de suggérer qqch. à qqn; ce qui est proposé. ⇒ offre. Proposition de paix. Faire des propositions… …   Encyclopédie Universelle

• PROPOSITION — s. f. Discours qui affirme ou qui nie quelque chose. Proposition universelle, générale, particulière. Proposition affirmative. Proposition négative. Proposition simple, composée. Proposition complexe, incomplexe. Dans la plupart des phrases, il y …   Dictionnaire de l'Academie Francaise, 7eme edition (1835)

• PROPOSITION — n. f. Action de proposer, de soumettre à un examen, à une délibération. Il fit la proposition d’attaquer l’ennemi sur le champ. Une proposition de loi. Il désigne aussi la Chose elle même qui a été proposée. La proposition de ce député a été… …   Dictionnaire de l'Academie Francaise, 8eme edition (1935)

• démontrer — (dé mon tré) v. a. 1°   Établir par un raisonnement évident et convaincant. Démontrer une proposition. La succession du jour et de la nuit démontre la rondeur de la terre. •   Tout vous doit démontrer qu il a voulu paraître, Par ce récit menteur …   Dictionnaire de la Langue Française d'Émile Littré

• Proposition contraposee — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… …   Wikipédia en Français

• démontrer — DÉMONTRER. v. a. Prouver d une manière évidente et convaincante, par des conséquences nécessaires d unprincipe incontestable. Démontrer une vérité, une proposition, un problème. Démontrer clairement, nettement, invinciblement, d une manière… …   Dictionnaire de l'Académie Française 1798

• Proposition (mathematiques) — Proposition (mathématiques) Cet article court présente un sujet plus amplement développé ici : Calcul des propositions. Une proposition est un concept de base du langage mathématique. C est un assemblage de symboles que le mathématicien… …   Wikipédia en Français

• Proposition (mathématiques) — Cet article court présente un sujet plus amplement développé ici : Calcul des propositions. Une proposition est un concept de base du langage mathématique. C est un assemblage de symboles que le mathématicien souhaite soit démontrer, soit… …   Wikipédia en Français

• Proposition (logique mathématique) — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… …   Wikipédia en Français

• Proposition indécidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français